7 stati e 5 agenti: finito in 2385 secondi (da somma tempi) con 20 test generati
8 stati e 5 agenti: finito a 547 secondi (da somma tempi) con 7 test generati
8 stati e 5 agenti (secondo test): finito a 1732 secondi (da somma tempi) con 12 test generati
9 stati e 5 agenti: 1765 secondi, 12 test generati
10 stati e 5 agenti: 
11 stati e 5 agenti: 4 tests in pochi secondi (computer spento)
12 stati e 5 agenti: 8 tests riportati
Considerazioni: Il numero di soluzioni generate in un instante fissato di tempo cambiano in base
al numero di agenti fissato nel modello, in quanto per ogni formula generata randomicamente andrà
generato un numero di prodotti cartesiani - necessari per la generazione di strategie - pari al 
numero di agenti coinvolti nella coalizione corrente. Quindi, anche se le strategie sono generate
dinamicamente, tale approccio rallenta inizialmente il programma, ma non il tempo d'esecuzione
delle risposte, calcolato solamente dall'inizio dell'applicazione della strategie sul modello.
Pertanto, per effettuare un numero esiguo di testing, sarà necessario una quantità di tempo
crescente in maniera direttamente proporzionale al numero di agenti presenti nel modello, con una 
discrepanza di attesa tra un testing e l'altro che dipende dal numero di agenti presenti nella coalizione,
che è randomico. 
Tuttavia, anche con 12 stati e 5 agenti, per una formula con 5 agenti, non vi si riesce ad esplorare tutte 
le strategie con tale approccio se è False, in quanto se è true funziona sempre dato la rapida produzione
della risposta